bert and ernie compilation